基于扩展Petri网的防空C~4ISRK系统建模分析

针对地空导弹武器系统防空中的火力分配问题,建立了战术级防空C4ISRK系统的Petri网模型。对其进行扩展,即联合谓词Petri网和赋色Petri网,建立旅级火力分配的改进模型,给出了具体的前置谓词公式。为有效分析战术决策的正确性提供了依据和思路。     

弧连通空间与收敛类

本文利用收敛类的理论刻划弧连空间,并得到:集合X上具有F性质的子集簇(?)确定了X的一个收敛类(?),则(?)诱导出的拓扑空间(X,(?)-(?))是弧连通的;反之,每一个弧连空间(X,(?)都可以由集合X的一个收敛类诱导出来。     

C~3I决策系统的Petri网建模技术

综述了Ｃ３Ｉ决策系统的若干Ｐｅｔｒｉ网建模方法。首先介绍了Ｃ３Ｉ系统的一般Ｐｅｔｒｉ网建模技术和时间Ｐｅｔｒｉ网建模技术,并介绍了随机Ｐｅｔｒｉ网建模技术;然后介绍了谓词Ｐｅｔｒｉ网和有色Ｐｅｔｒｉ网建模技术。最后指出了Ｃ３Ｉ决策系统中,Ｐｅｔｒｉ网的若干研究方向。     

应用柯洛波夫数论网格计算发射n发至少命中m发概率的研究

本文应用了柯洛波夫数论网格方法,较好地解决了三级误差条件下高精度计算命中概率指标 P_(Lm)的问题。本文还详细给出了计算 P_(Lm)的方法、步骤和实例。     

Managing components for assemble‐to‐order products with lead‐time‐dependent pricing: The full‐shipment model

We study a component inventory planning problem in an assemble‐to‐order environment faced by many contract manufacturers in which both quick delivery and efficient management of component inventory are crucial for the manufacturers to achieve profitability in a highly competitive market. Extending a recent study in a similar problem setting by the same authors, we analyze an optimization model for determining the optimal component stocking decision for a contract manufacturer facing an uncertain future demand, where product price depends on the delivery times. In contrast to our earlier work, this paper considers the situation where the contract manufacturer needs to deliver the full order quantity in one single shipment. This delivery requirement is appropriate for many industries, such as the garment and toy industries, where the economies of scale in transportation is essential. We develop efficient solution procedures for solving this optimization problem. We use our model results to illustrate how the different model parameters affect the optimal solution. We also compare the results under this full‐shipment model with those from our earlier work that allows for multiple partial shipments. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007     

空间飞网系统牵拉模式影响研究

针对空间飞网系统任务设计需求,研究飞网牵拉模式对系统展开性能的影响。建立空间飞网系统拉出展开过程动力学模型,并通过地面试验对比验证了模型的有效性。面向任务需求建立空间飞网系统评价指标,针对四、六点牵拉模式,采用有限绳段方法对飞网系统进行建模仿真。模型中保持绳网质量和初始发射能量一致,对评价指标的分析结果表明,在六点牵拉模式下,飞网系统飞行性能指标和力学性能指标有明显提高,但能量利用率和系统可靠性小幅下降。     

采用小弹性模量方法的空间飞网构型优化设计

飞网构型设计对提高空间飞网系统的展开抓捕性能具有重要意义。用小弹性模量分析方法对空间飞网构型优化设计问题进行研究。以绳网中内力分布均衡性为优化目标,选取飞网抛射过程中最大受力时刻为研究工况,赋予绳索单元极小弹性模量,进行静力学计算,并以变形后的结果为初始条件进行迭代分析。优化结果表明,绳网中的内力分布随迭代步数的增加而更趋于均匀。在不改变绳网拓扑结构的前提下,所建立的优化设计方法为空间飞网构型优化设计提供了一种参考途径。     

装备合同履行管理的动态演化博弈研究

在装备合同履行中存在着明显的信息不对称现象。为提高装备合同的履行效益,减少信息不对称的影响,在有限理性假设的前提下,建立了装备合同履行监督的动态演化博弈模型。对合同履行过程中承制单位与军事代表、合同履行管理部门之间的博弈关系进行了探究,得到了各参与方在不同条件下均衡策略的选择,并对优化装备合同的履行管理提出了建议。     

基于GSPN的舰载服务器系统可靠性建模及分析

提出一种基于广义随机Petri网(Generalized Stochastic Petri Net,GSPN)的舰载服务器系统可靠性分析方法。深入分析舰载服务器系统故障模式的基础上,建立冗余服务器子系统的GSPN模型和共享数据盘子系统的GSPN模型,进而综合得到舰载服务器系统的全局GSPN模型,有效模拟了舰载服务器系统的动态行为。仿真实验验证了所提方法的有效性,为舰载服务器系统的分析与设计提供理论参考。     

基于OPN的军事信息服务组合模型构建方法

介绍了军事信息服务的基本含义,给出了基于对象Petri网的军事信息服务组合模型的形式化描述方法,构建了军事信息服务组合模型的基本结构,并针对一个具体的防空反导作应用案例,使用国防科大对象Petri网建模仿真环境工具开发了相应的军事信息服务组合模型,并对组合服务进行了简要分析。实践表明,该方法能满足军事信息服务组合模型构建的需要,并具有良好的服务建模与仿真分析能力。